Conceptual Model’s Validation Support | ||||
STUDY ID | TITLE | YEAR | SUPPORTING CENCEPT | |
STD-1 | [30] | Formal Agility. How much of each? | 2003 | Studied XP practices from the prism of FM to show that how some XP practices can admit the integration of Formal Methods. |
STD-2 | [31] | Using a formal method to model software design in XP projects | 2005 | Successfully introduces X-Machine in XP for a succinct and accurate software system |
STD-3 | [32] | Applying XP Ideas Formally: The Story Card and Extreme X-Machines | 2003 | Present an approach of using XP story cards and transform those into formal specifications through X-Machine to produce high quality software products. |
STD-4 | [3] | Scrum Goes Formal: Agile Methods for Safety-Critical Systems | 2012 | Suggest that XP practices can successfully support the formal method and techniques |
STD-5 | [33] | Agile Specification Driven Development | 2004 | Present an approach of using TDD practice for specification driven development that leads towards quality software development. |
STD-6 | [34] | On the Use of XP in the Development of Safety-Oriented Hypermedia Systems | 2003 | Uses XP practices in the development of safety-oriented hypermedia systems with formal methods for exhaustive testing |
STD-7 | [35] | Formal Methods and Extreme Programming? | 2003 | Evaluated how formal methods overcome the lack of upfront specification and design practices in XP |
STD-8 | [36] | 20 Years of Teaching and 7 Years of Research: Research When You Teach | 2008 | results from multiple experiments found that there was a measurable quality premium in using XP and uses extreme x-machines for producing high quality products |
STD-9 | [5] | Formal versus agile: Survival of the fittest? | 2009 | Suggest that XP practices can get benefit from formal methods |
STD-10 | [37] | Formal Extreme (and Extremely Formal) Programming | 2003 | Analyse how Formal Methods (FM) can interact with agile process XP, and suggest that XP practices can improved using FM. can |